全文获取类型
收费全文 | 279篇 |
免费 | 29篇 |
国内免费 | 29篇 |
专业分类
航空 | 176篇 |
航天技术 | 51篇 |
综合类 | 46篇 |
航天 | 64篇 |
出版年
2023年 | 2篇 |
2022年 | 3篇 |
2021年 | 10篇 |
2020年 | 5篇 |
2019年 | 8篇 |
2018年 | 4篇 |
2017年 | 4篇 |
2016年 | 6篇 |
2015年 | 9篇 |
2014年 | 22篇 |
2013年 | 14篇 |
2012年 | 8篇 |
2011年 | 18篇 |
2010年 | 12篇 |
2009年 | 9篇 |
2008年 | 19篇 |
2007年 | 16篇 |
2006年 | 11篇 |
2005年 | 17篇 |
2004年 | 24篇 |
2003年 | 21篇 |
2002年 | 12篇 |
2001年 | 12篇 |
2000年 | 9篇 |
1999年 | 7篇 |
1998年 | 2篇 |
1997年 | 7篇 |
1996年 | 5篇 |
1995年 | 2篇 |
1994年 | 5篇 |
1993年 | 1篇 |
1992年 | 5篇 |
1991年 | 7篇 |
1990年 | 8篇 |
1989年 | 3篇 |
1988年 | 5篇 |
1987年 | 3篇 |
1986年 | 2篇 |
排序方式: 共有337条查询结果,搜索用时 15 毫秒
1.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
2.
摘要: 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动态程序切片收集程序运行时的动态信息,构造程序切片谱,设定相关统计量统计程序语句的脆弱性可疑度,生成脆弱性定位报告.在发现软件中存在的脆弱性后,该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析,实验证明了该方法的有效性. 相似文献
3.
对于民用航空维修企业来说,客机改货机项目是一项工程庞大、技术复杂、改装系统最多的大型改装工作,其改装过程涉及专业面广,各专业交叉,配合多,对各类资源保障要求高。如何科学调配人力、如何在改装周期内控制进度是改装成败的关键。本文介绍了成都基地首架波音757客改货飞机从研发到实施的成功经验,可供MRO企业组织研发和实施大型维修项目时借鉴。 相似文献
4.
围绕某型号姿控动力系统减压阀性能测试需求,提出一种基于PC104总线测试架构的设计方案。详细阐述了减压阀性能测试原理、硬件设计方案和软件开发思路,着重介绍了软件开发需求、总体架构、用户程序开发思路和软件设计关键技术等。实际应用表明,该系统操作简单、携带方便,测试精度优于0.2%,控制定时精度优于1 ms,满足减压阀性能测试要求。 相似文献
5.
Yongjie ZHANG Zheng YANG Xianchao MA Wenjun DONG Dayong DONG Zhaoguang TAN Shuai ZHANG 《中国航空学报》2019,32(8):1828-1846
Commercial aircraft family design can reduce development costs, shorten development cycles, and expand the market coverage of aircraft. Commercial aircraft family development has become one of the most important features of modern aircraft design. This paper explores the effects of commonality on different aircraft models in a commercial aircraft family. The existing product commonality indexes are summarized and their limitations in the application to aircraft design are discussed. Then a new component commonality index is proposed based on the component decomposition structure. A model for calculating the aircraft program value is established,which considers development costs, manufacturing costs, sale price, operation costs and residual costs. The effects of aircraft commonality on time and economic costs of both development and manufacturing, and on sale price, are analyzed and quantified. The commonality evaluation strategy is obtained, which features comprehensive consideration of the aircraft program value and time costs. The break-even analysis of aircraft is proceeded on the basis of costs and price data. By using a real option method, the strategy considers the uncertainty of the aircraft program and the flexibility of the manufacturer. This strategy proves to be rational and applicable to aircraft design based on the calculation of three examples and the analysis of parameter sensitivity. 相似文献
6.
王新 《长沙航空职业技术学院学报》2011,11(4):72-77
摘 运用文献资料法、专家访谈法、问卷调查法、数理统计法来进行调查与研究,从长沙市全民健身运动开展的体育资源利用实际情况出发,对长沙市全民健身运动开展的情况进行分析,根据全民健身运动过程中体育资源利用的情况,结合实际,提出了全民健身运动开展体育资源开发的对策,希望能为建立符合长沙市实际情况需要的全民健身运动发展模式寻求理... 相似文献
7.
本文通过对该型教练机现有航空电子系统构型、驾驶员操作程序、接口控制文件深入研究,结合未来功能扩展需求,给出了合理的系统构型分析、功能分配、数据流规划、原相关系统软件改动分析,在此基础上还设计出了嵌入式训练系统技术方案.依据方案研制的嵌入式训练系统原理样机通过系统动态试验、航电系统地面综合试验和飞机地面通电试验,证明系统... 相似文献
8.
9.
10.
本文从教学需求的角度,减轻机房管理员维护工作量的角度,并考虑到性能/价格比的因素,论述了NT网在计算机实验室的设计与实现以及它的功能与应用。 相似文献